Sokoban Solver Statistics

Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?			Floors	Boxes	Lower Bound	BP
	Sokoban Solver Statistics - Sokolution 5.1 - Sven Egevad Sharpen Date: 2024-03-11
Solved puzzles	123025	19260	4688	95 of 153	94		16		Total	18761	5296	10210

Filter

Solved puzzles, filtered	123025	19260	4688	95 of 153	94		16		Total, filtered	18761	5296	10210

Sokoban Solver Statistics - Sokolution 5.1 10 minutes - Sven Egevad Sharpen
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1	1636	452	52	✓	✓			19	16	156	21	374	?
2				✕				19	16	190	65	1	?
3	240	74	10	✓	✓			11	11	81	32	72	?
4	321	76		✓	✓			11	11	81	32	36	?
5	322	67		✓	✓			11	12	65	23	1	?
6	3509	435	6	✓	✓			13	12	100	36	5	?
7	1263	126	50	✓	✓			13	15	119	46	32	?
8				✕				13	13	109	36	52	?
9	300	64		✓	✓			13	13	105	28	44	?
10				✕				17	15	190	76	14	?
11	1190	216	350	✓	✓			14	14	143	58	24	?
12	1990	154	225	✓	✓			14	14	102	19	18	?
13				✕				12	16	108	24	140	?
14	839	96	1	✓	✓			13	13	109	37	28	?
15	995	94		✓	✓			13	13	108	36	28	?
16	1075	142	1	✓	✓			13	13	108	36	28	?
17	1387	162	1	✓	✓			13	13	98	26	28	?
18	1093	120	7	✓	✓			13	13	98	26	28	?
19	1185	184	1	✓	✓			13	13	108	36	40	?
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
20	608	96		✓	✓			13	11	64	10	14	?
21	192	47		✓	✓			9	10	49	14	5	?
22	1013	160		✓	✓			11	11	81	28	40	?
23				✕				16	16	156	60	72	?
24	119	29		✓	✓			9	9	32	4	5	?
25				✕			✓	19	16	188	40	740	?
26	673	46	9	✓	✓			14	11	95	33	20	?
27	719	78		✓	✓			9	11	51	16	6	?
28	330	42		✓	✓			11	11	68	17	34	?
29	298	42		✓	✓			17	9	89	26	8	?
30	783	76	4	✓	✓			17	17	179	52	16	?
31	1030	106	175	✓	✓			17	17	179	52	16	?
32	391	54		✓	✓			11	9	53	15	14	?
33	221	48		✓	✓			10	11	41	8	10	?
34	307	60		✓	✓			11	8	45	14	14	?
35				✕				17	18	209	80	7	?
36				✕				17	18	209	80	7	?
37				✕				17	18	209	81	9	?
38				✕				19	17	239	88	4	?
39				✕			✓	19	17	239	89	5	?
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
40				✕				19	17	228	77	4	?
41				✕				19	17	216	70	4	?
42				✕				19	17	215	83	82	?
43				✕				19	17	215	84	82	?
44				✕				19	17	215	85	82	?
45				✕				19	17	215	86	84	?
46				✕				19	17	213	84	84	?
47	1279	114	3	✓	✓			11	13	75	25	28	?
48	1217	108	39	✓	✓			11	13	75	26	26	?
49	1775	312	7	✓	✓			13	13	97	33	32	?
50	5415	966	44	✓	✓			13	13	97	34	36	?
51	1346	208	121	✓	✓			13	13	89	26	26	?
52				✕				17	17	222	93	1	?
53				✕				17	17	221	93	1	?
54	5840	960	202	✓	✓			17	17	173	43	24	?
55				✕			✓	23	23	407	162	1	?
56				✕			✓	19	19	258	81	64	?
57				✕			✓	19	19	258	85	56	?
58				✕				19	18	230	76	56	?
59	1401	162	1	✓	✓			13	15	96	26	22	?
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
60				✕				19	19	143	36	36	?
61				✕				19	19	156	52	44	?
62				✕			✓	19	19	152	48	60	?
63	565	130	1	✓	✓			17	9	82	28	34	?
64	127	36		✓	✓			15	9	70	27	8	?
65	747	146	16	✓	✓			11	16	82	27	32	?
66	464	82	6	✓	✓			9	13	62	18	8	?
67	232	36		✓	✓			12	8	37	9	4	?
68				✕				16	16	123	23	113	?
69	243	32		✓	✓			14	14	76	12	20	?
70	532	80		✓	✓			12	12	74	18	14	?
71	174	38		✓	✓			9	13	64	18	12	?
72	370	84	1	✓	✓			19	9	61	14	18	?
73	929	96	3	✓	✓			11	17	106	26	10	?
74	12988	696	198	✓	✓			19	17	184	56	20	?
75	3613	252	571	✓	✓			19	17	184	56	26	?
76	1640	168		✓	✓			19	17	130	20	20	?
77	2484	272	23	✓	✓			17	16	145	39	28	?
78	698	132		✓	✓			19	11	115	28	42	?
79				✕				15	11	96	28	66	?
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
80				✕			✓	15	11	95	27	59	?
81	678	86		✓	✓			11	11	71	22	32	?
82	280	48		✓	✓			9	15	85	32	30	?
83	387	60	1	✓	✓			9	15	77	26	34	?
84	168	44		✓	✓			13	13	64	16	16	?
85	798	190	369	✓	✓			15	15	120	36	64	?
86				✕				14	13	113	34	24	?
87				✕			✓	15	13	112	26	141	?
88	394	72		✓	✓			13	10	70	15	22	?
89				✕				13	15	107	21	94	?
90				✕				13	15	115	30	77	?
91				✕				13	15	111	24	97	?
92	1188	144	2	✓	✓			17	17	122	14	60	?
93				✕				13	13	98	29	28	?
94	809	227		✓	✓			13	13	56	14	9	?
95	81	14		✓	✓			11	11	45	8	12	?
96	500	78		✓	✓			11	17	91	23	8	?
97				✕				19	17	176	46	32	?
98	619	108	312	✓	✓			17	17	118	22	38	?
99	1472	416	6	✓	✓			18	13	108	18	294	?
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
100	1434	403	5	✓	✓			18	13	105	17	293	?
101	705	142	28	✓	✓			13	13	93	24	28	?
102	3352	1319	13	✓	✓			19	17	206	46	973	?
103				✕				19	17	206	45	941	?
104	3625	1341	82	✓				19	17	206	46	971	?
105				✕				19	17	139	29	44	?
106				✕			✓	19	17	139	30	44	?
107				✕				19	17	139	32	53	?
108	564	92		✓	✓			15	9	57	11	10	?
109	426	56		✓	✓			13	14	75	9	30	?
110				✕				12	13	83	19	221	?
111	678	98		✓	✓			19	9	75	15	2	?
112				✕				19	15	142	30	4	?
113	2146	398	227	✓	✓			19	15	147	33	8	?
114	2098	424	155	✓	✓			19	15	146	32	8	?
115				✕				19	15	142	30	22	?
116	2031	470	324	✓	✓			19	15	142	30	20	?
117	1429	354	349	✓	✓			19	15	142	31	22	?
118	1636	342	65	✓	✓			13	13	87	22	20	?
119	1230	228	134	✓	✓			17	13	123	34	40	?
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
120				✕				17	13	116	27	40	?
121				✕				19	12	126	30	28	?
122				✕				19	12	126	31	30	?
123				✕				19	12	126	31	31	?
124	386	68		✓	✓			19	11	97	18	40	?
125	1003	128	8	✓	✓			13	11	63	14	40	?
126	263	39		✓	✓			15	11	81	11	11	?
127	941	129		✓	✓			15	11	81	11	15	?
128				✕			✓	19	17	183	48	110	?
129				✕			✓	19	17	179	48	110	?
130	215	40		✓	✓			15	11	65	10	14	?
131	284	37		✓	✓			15	10	64	9	11	?
132	341	40		✓	✓			10	12	55	10	14	?
133	99	20		✓	✓			11	13	66	12	4	?
134	887	112	129	✓	✓			17	13	108	23	34	?
135				✕			✓	17	17	143	28	48	?
136				✕				19	13	117	22	40	?
137	966	178		✓	✓			17	13	103	18	36	?
138	40	11		✓	✓			7	8	18	4	5	?
139	7063	834	155	✓	✓			15	9	78	22	26	?
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
140	1998	341	17	✓	✓			13	13	71	19	11	?
141	1423	193		✓	✓			13	12	62	15	13	?
142	1504	206		✓	✓			13	12	62	15	12	?
143				✕				19	17	149	18	62	?
144				✕			✓	19	15	139	29	167	?
145				✕			✓	19	17	179	43	202	?
146	3378	444	72	✓	✓			19	11	108	19	50	?
147				✕			✓	19	16	176	58	229	?
148				✕				17	11	99	24	36	?
149	1185	232	17	✓	✓			13	13	73	14	30	?
150	1969	242	85	✓	✓			15	13	96	22	150	?
151	1183	208	5	✓	✓			18	17	128	21	138	?
152	1061	148		✓	✓			17	9	81	20	38	?
153				✕			✓	19	17	185	49	11	?
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
Solved puzzles	123025	19260	4688	95 of 153	94		16		Total	18761	5296	10210
Solved puzzles, grand total	123025	19260	4688	95 of 153	94		16		Grand total	18761	5296	10210


Solver	Sokolution
Version	5.1
Author	Florent Diedler
Time limit	10 minutes
Solver settings	Default settings, except RAM: 36 GiB
Computer processor (CPU)	Intel(R) Core(TM) i7-10700

Sokoban Solver Statistics Contact Sokoban Wiki LogoProgramming and Design: Brian Damgaard, Denmark

Sokolution 5.1 10 minutes

Sokoban Solver Statistics - Sokolution 5.1 - Sven Egevad Sharpen